Finitely generated free tetravalent modal algebras
نویسندگان
چکیده
منابع مشابه
Finitely Generated Invariants of Hopf Algebras on Free Associative Algebras
We show that the invariants of a free associative algebra of finite rank under a linear action of a finite-dimensional Hopf algebra generated by group-like and skew-primitive elements form a finitely generated algebra exactly when the action is scalar. This generalizes an analogous result for group actions by automorphisms obtained by Dicks and Formanek, and Kharchenko.
متن کاملFinitely generated free Heyting algebras: the well-founded initial segment
In this paper we describe the well-founded initial segment of the free Heyting algebra Aα on finitely many, α, generators. We give a complete classification of initial sublattices of A2 isomorphic to A1 (called ‘low ladders’), and prove that for 2 ≤ α < ω, the height of the wellfounded initial segment of Aα is ω.
متن کاملBernoulli Automorphisms of Finitely Generated Free Mv-algebras
MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals [0, u] of lattice-ordered abelian groups in which a strong order unit u > 0 has been fixed. They form an equational class, and the free n-generated free MV-algebra is representable as an algebra of piecewise-linear continuous functions with integer coefficients over the unit n-...
متن کاملFinitely generated free Heyting algebras via Birkhoff duality and coalgebra
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are...
متن کاملOn finitely generated Heyting algebras
We study finitely generated Heyting algebras from algebraic and model theoretic points of view. We prove amon others that finitely generated free Heyting algebras embed in their profinite completions, which are projective limits of finitely generated free Heyting algebras of finite dimension.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1983
ISSN: 0012-365X
DOI: 10.1016/0012-365x(83)90268-6